Rodrigo Marques
  • CV
  • News
  • Publications
  • Teaching

Rodrigo Marques

DCC@FCUP | LIACC
rodrigo [dot] marques [at] fc.up.pt

About

I am pursuing a PhD at the Department of Computer Science at University of Porto where I am advised by Mário Florido.

My research interests are centered around the design and implementation of programming languages. In particular, I am interested in the study of logic and semantics, as it can provide valuable insights for the design of better programming languages and type systems.

Before my PhD, I obtained a MSc degree in Computer Science with a focus on Reliable Computation at the University of Porto.

News

Aug 2024

Attending ISR 2024 in Obergurgl

Jun 2024

Attended OPLSS 2024 in Boston

Dec 2023

Defended my MSc dissertation

Publications

Preprint

A Lazy Abstract Machine for a Tracing Interpreter
Pedro Vasconcelos, Rodrigo Marques
Abstract arXiv

2023

A Lazy Abstract Machine Based on a Pattern-Matching Calculus
Pedro Vasconcelos, Rodrigo Marques
Symposium on Implementation and Application of Functional Languages
Abstract arXiv

2022

Towards Algebraic Subtyping for Extensible Records
Rodrigo Marques, Mário Florido, Pedro Vasconcelos
Presented at: ML Workshop at the International Conference on Functional Programming

Master’s Dissertation

2022

Subtyping: Study and Implementation
Abstract Link

Teaching

Lab instructor

CC1008: Introduction to Programing

Fall 2023, 2024
Introductory programming course for computer science students with Python.

L.EIC003: Programming Fundamentals

Fall 2023
Introductory programming course for informatics engineering students with Python.

CC1005: Functional Programming

Spring 2024
Introduction to functional programming with Haskell. Proving program properties using induction and equational reasoning.

L.EIC009: Programming

Spring 2024
Introduction to object-oriented programming with C++.